//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#ifndef __ELASTOS_CORE_H__
#define __ELASTOS_CORE_H__
#include <kcfg.h>
#include <bsp.h>

#include <testing.h>

#define _NO_INCLIST
#include <interlocked.h>
#include <eltypes.h>
#include <elasys_server.h>

#include <ddk/kmstat.h>

#include <ddk/schedule.h>
#include <ddk/ksync.h>
#include <ddk/kthread.h>

#include <core/hal.h>

#ifdef _x86
#include <core/kdbg.h>
#endif // _x86

#include <core/objenum.h>
#include <core/thread.h>
#include <core/physmem.h>
#include <core/breakpoint.h>

#include <ddk/allocpage.h>
#include <ddk/time.h>
#include <ddk/delay.h>
#include <ddk/kmalloc.h>
#include <ddk/kthread.h>
#include <ddk/ioremap.h>
#include <ddk/_driver.h>
#include <ddk/kserv.h>
#include <ddk/_bootmodsmap.h>
#include <ddk/dbgevent.h>

#endif //__ELASTOS_CORE_H__
